Auflistung nach Schlagwort "Automata theory"

Sortiert nach: Sortierung: Ergebnisse:

  • On quantified propositional logics and the exponential time hierarchy 
    Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni (Waterloo, NSW : Open Publishing Association, 2016)
    We study quantified propositional logics from the complexity theoretic point of view. First we introduce alternating dependency quantified boolean formulae (ADQBF) which generalize both quantified and dependency quantified ...
  • Robust trapped-ion quantum logic gates by continuous dynamical decoupling 
    Bermudez, A.; Schmidt, Piet O.; Plenio, M.B.; Retzker, A. (College Park, MD : American Physical Society, 2012)
    We introduce a scheme that combines phonon-mediated quantum logic gates in trapped ions with the benefits of continuous dynamical decoupling. We demonstrate theoretically that a strong driving of the qubit decouples it ...